Nuprl Lemma : es-Msg_wf 11,40

the_es:event_system{i:l}. es-Msg(the_es Type 
latex


Definitionsx:AB(x), t  T, es-Msg(es), es-M(es), t.1, t.2, event_system{i:l}, P  Q
LemmasMsg wf, event system wf

origin